open module moduleExtendsSelf

extends "moduleExtendsSelf.pkl"
